Decompose as connected graph of metamodel objects?

Verification of objects in model requires both object-based and instance-based
verification.
   - object-based will assume one instance of the object.
   - object-based doesn't need to follow chains into process models.

Since subtyping doesn't use referential attributes, these connections will have
their own explicit category. Connected graph should align.

Objects can be end-of-chain, never-end-of-chain, possibly-end-of-chain, and
middle-of-chain.

Identifier chain is always a loop.

Active and Passive perspectives are the relationship phrases. Must have both.

Object-based will check if referential is on right side
   - pair instance(s) and relationship to multiplicity and conditional 
     information. i.e., collect relationship end information.
   - collect referential attribute for relationship and attached instance.
   - run against where-to-put-referential rules.

How to 'collect and verify'?
   - generate templates from metamodel as bridges where every required 
     parameter needs to have a value. (Does this require externally published
     user data types?)
   - verification would require collecting the elements from the model editor 
     in a metamodel buildable order.
